Loose Semantics for Uml/ocl
نویسنده
چکیده
This paper deals with formal foundations for a subset of the UML notation (subset of class diagrams and constraints in OCL). There are already various proposals for semantics of UML and a few for OCL. Nevertheless, it is argued that these approaches are not fully adequate for building a conceptual bridge between the programming artifacts produced from UML/OCL and the formal semantics. A different approach is suggested which builds on one hand on the existing work on UML/OCL semantics, and which on the other hand re-introduces ideas, which were discussed for abstract data types under the term "loose semantics". The advantages of this approach are presented and a relationship to the meta-modeling approach is outlined.
منابع مشابه
Semantics of State-Oriented Expressions in the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). It is primarily used to formulate restrictions for UML class diagrams. Additionally, it is possible to refer to UML Statechart states in OCL expressions to reason about currently activated states. However, neither the current OCL standard nor the proposal for the new OCL 2.0 version integrat...
متن کاملA Formal Semantics for Checking and Analysing UML models
The Unified Modelling Language (UML) is becoming a global standard diagrammatic notation for expressing and describing object-oriented models. Recently, the Object Constraint Language (OCL) has been proposed as a standard expression language for expressing additional constraints on UML models, which are not conveniently expressible in a diagrammatic form. In this paper we provide an approach fo...
متن کاملA Formal Semantics for OCL 1.4
The OCL 1.4 specification introduces let-declarations for adding auxiliary class features in static structures of the UML. We provide a type inference system and a big-step operational semantics for the OCL 1.4 that treat UML static structures and UML object models abstractly and accommodate for additional declarations; the operational semantics satisfies a subject reduction property with respe...
متن کاملTowards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization process, a proposal for the new version OCL 2.0 has recently been adopted by the Object Management Group. This proposal provides extensive semantic descriptions by both a metamodelbased as well as a formal mathematical...
متن کاملFeatherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5
The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in industry. While UML is mostly known as diagrammatic modeling language (e. g., visualizing class models), it is complemented by a textual language, called Object Constraint Language (OCL). OCL is a textual annotation language, based on a three-valued logic, that turns UML into a formal language. Unfor...
متن کامل